CGV1990
id_total, 2.252067823
id_io_time, 0.0
id_global_time, 0.0
id_inclusion_check, 0.066164433
id_inclusion_check_mod_p, 0.024541071
id_groebner_time, 0.225500088
id_beautifulization, 0.30685674500000004
id_normalforms_time, 0.0
id_gbfan_time, 0.0
id_ranking, 2985.0
